function set_menu(menu) {
	//document.getElementById('home').setAttribute('class', '');
	document.getElementById(menu).setAttribute('class','active selected');	
}
